Term Rewriting and All That
Paperback
Published 08 May 1999
Save $7.40
- RRP $73.56
- $66.16
Search for "Tobias Nipkow"
16 results
-
$7.40off
-
Concrete Semantics : With Isabe...
Hardback
Published 15 Dec 2014- $109.25
-
$6.85off
Rewriting Techniques and Applic...
Paperback
Published 11 Mar 1998Save $6.85
- RRP $62.44
- $55.59
-
$6.95off
Concrete Semantics
Paperback
Published 10 Sep 2016Save $6.95
- RRP $62.44
- $55.49
-
$6.42off
Types for Proofs and Programs
Paperback
Published 20 May 1994Save $6.42
- RRP $62.44
- $56.02
-
$9.35off
Isabelle/HOL
Paperback
Published 03 Apr 2002Save $9.35
- RRP $69.38
- $60.03
-
$4.63off
Theorem Proving in Higher Order...
Paperback
Published 04 Aug 2009Save $4.63
- RRP $62.44
- $57.81
-
$2.47off
Higher-Order Algebra, Logic, an...
Paperback
Published 28 Jul 1994Save $2.47
- RRP $62.44
- $59.97
-
$5.79off
Automated Reasoning
Paperback
Published 06 Jun 2001Save $5.79
- RRP $124.90
- $119.11
-
Automated Reasoning
Paperback
Published 12 Mar 2014- $63.67
-
$21.46off
FM 2006
Paperback
Published 10 Aug 2006Save $21.46
- RRP $131.16
- $109.70
-
Types for Proofs and Programs
Paperback
-
Term Rewriting and All That
Hardback
Published 05 Mar 1998 -
Software Safety and Security
Hardback
Published 15 May 2012 -
Higher-Order Algebra, Logic, an...
Paperback
-
Formal Logical Methods for Syst...
Hardback
Published 01 Jan 2008